Deterministic automaton - PDFSEARCH.IO - Document Search Engine

Deterministic automaton
Results: 176

#	Item
51	PDF Document Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:01 Theoretical computer science Regular language String Regular expression Kleene star Formal grammar Concatenation Empty string Deterministic finite automaton Formal languages Mathematics Combinatorics
52	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2013-06-12 10:51:30 Applied mathematics Computer science Model checking Formal verification Finite-state machine Deterministic finite automaton Automated planning and scheduling Uppaal Model Checker Clock Models of computation Automata theory Theoretical computer science
53	Oracle Pushdown Automata for Trees in Prefix Notation Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2010-02-18 04:52:05 Applied mathematics Factor oracle Finite-state machine SC Automata construction Automaton LL parser Nested word Deterministic pushdown automaton Automata theory Theoretical computer science Computer science
54	CS109B Notes for LectureNondeterministic Automata Looking for Substrings We can build an NFA to recognize a string that ends in any given substring a1a2 a if we: Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:53 Combinatorics Mathematics Regular expression Regular language String Powerset construction Concatenation Finite-state machine Deterministic finite automaton Formal languages Automata theory Theoretical computer science
55	Reducing the size of NFAs by using equivalences and preorders L UCIAN I LIE ROBERTO S OLIS -O BA Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2005-07-08 16:23:57 Applied mathematics Nondeterministic finite automaton Regular expression Deterministic finite automaton Regular language Preorder Generalized nondeterministic finite automaton ReDoS Automata theory Theoretical computer science Computer science
56	A Turing Machine Resisting Isolated Bursts Of Faults Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-03-28 00:33:04 Computability theory Models of computation Computer science Alan Turing Formal methods Computational complexity theory Cellular automaton Non-deterministic Turing machine Busy beaver Turing machine Theory of computation Theoretical computer science
57	Greedy Regular Expression Matching Alain Frisch1,2,? and Luca Cardelli3 2 1 ´ Ecole Normale Sup´erieure (Paris) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Software engineering Computing Models of computation Nondeterministic finite automaton Regular language FO Regular expression J Deterministic finite automaton Automata theory Formal languages Theoretical computer science
58	Recognizing regular tree languages with static information Alain Frisch (ENS Paris) PLAN-X 2004 p.1/22 Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Mathematics Tree automaton Tree traversal Pushdown automaton Deterministic automaton Formal language Regular expression Muller automaton Automata theory Theoretical computer science Computer science
59	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton State diagram State transition table State transition system Models of computation Theory of computation Automata theory
60	Honors Class (Foundations of) Informatics Tom Verhoeff Department of Mathematics & Computer Science Software Engineering & Technology www.win.tue.nl/~wstomv/edu/hci Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-10-17 18:08:03 Theoretical computer science Computer science Finite-state machine Turing machine Pushdown automaton Deterministic finite automaton Nondeterministic finite automaton State Read-only Turing machine Models of computation Theory of computation Automata theory

UPDATE